SatisfiabilityInstances

SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.

SatisfiabilityInstances[expr,{a1,a2,…}] attempts to find a choice of the ai that makes the Boolean expression expr be True.

SatisfiabilityInstances[…,…,m] attempts to find m choices of variables that yield True.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.